bookmarkIndication=true
eclipse.preferences.version=1
errorIndication=false
errorIndicationInOverviewRuler=false
errorIndicationInVerticalRuler=false
indexResultIndication=false
indexResultIndicationInOverviewRuler=false
indexResultIndicationInVerticalRuler=false
isErrorGoToNextNavigationTarget=false
lineNumberRuler=true
org.eclipse.cdt.codan.ui.annotation.error.overview=false
org.eclipse.cdt.codan.ui.annotation.error.ruler=false
org.eclipse.cdt.codan.ui.annotation.error.text=false
org.eclipse.cdt.ui.occurrenceHighlighting=false
org.eclipse.cdt.ui.occurrenceIndicationInOverviewRuler=false
overviewRuler_migration=migrated_3.1
spacesForTabs=true
spellingEnabled=false
warningIndication=false
warningIndicationInOverviewRuler=false
warningIndicationInVerticalRuler=false
